Issue1718.agda:5,17-33
Not a valid let-declaration
when scope checking the declaration
  module Sub (let open import oops) where
